From Self- to Self-stabilizing with Service Guarantee 1-hop Weight-Based Clustering

We propose a transformer building a silent self-stabilizing with service guarantee 1-hop clustering protocol T P of an input silent self-stabilizing 1-hop clustering protocol P. From an arbitrary configuration, T P reaches a safe configuration in at most 3 rounds, where the following useful minimal service is provided: “each node belongs to a 1-hop cluster having an effective leader”. During stabilization of T P, the minimal service is preserved, so the clustering structure is available throughout the entire network. The minimal service is also maintained despite the occurrences of some external disruptions, called highly tolerated disruptions, denoted HT D. T P reaches a terminal (also legitimate) configuration in at most 4∗SP rounds where SP is the stabilization time of P protocol. Moreover, T P requires only 2 bits per node more than P.